\relax 
\providecommand\hyper@newdestlabel[2]{}
\catcode`"\active
\catcode`-\active
\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
\global\let\oldcontentsline\contentsline
\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global\let\oldnewlabel\newlabel
\gdef\newlabel#1#2{\newlabelxx{#1}#2}
\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\ifx\hyper@anchor\@undefined
\let\contentsline\oldcontentsline
\let\newlabel\oldnewlabel
\fi}
\fi}
\global\let\hyper@last\relax 
\gdef\HyperFirstAtBeginDocument#1{#1}
\providecommand\HyField@AuxAddToFields[1]{}
\select@language{czech}
\@writefile{toc}{\select@language{czech}}
\@writefile{lof}{\select@language{czech}}
\@writefile{lot}{\select@language{czech}}
\citation{1}
\citation{2}
\@writefile{toc}{\contentsline {chapter}{\IeC {\'U}vod}{2}{chapter*.3}}
\citation{3}
\@writefile{toc}{\contentsline {chapter}{\numberline {1}P\IeC {\v r}ipomenut\IeC {\'\i } pojm\IeC {\r u}}{4}{chapter.1}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{monotonie}{{1.1}{4}{}{veta.1.1}{}}
\newlabel{nerode}{{1.2}{4}{}{veta.1.2}{}}
\newlabel{kontext}{{1.3}{4}{}{veta.1.3}{}}
\newlabel{Myhill-Nerode}{{1.6}{5}{}{veta.1.6}{}}
\newlabel{Myhill-preorder}{{1.8}{6}{}{veta.1.8}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {2}Dobr\IeC {\'a} p\IeC {\v r}eduspo\IeC {\v r}\IeC {\'a}d\IeC {\'a}n\IeC {\'\i }}{7}{chapter.2}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{wqod}{{2.1}{7}{}{veta.2.1}{}}
\newlabel{wqo}{{2.2}{7}{}{veta.2.2}{}}
\newlabel{wqod}{{2}{8}{Dobrá předuspořádání}{veta.2.2}{}}
\newlabel{fund}{{2.6}{9}{}{veta.2.6}{}}
\citation{4}
\@writefile{toc}{\contentsline {chapter}{\numberline {3}Dobr\IeC {\'a} p\IeC {\v r}eduspo\IeC {\v r}\IeC {\'a}d\IeC {\'a}n\IeC {\'\i } a regularita}{11}{chapter.3}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{genMyh}{{3.1}{11}{}{veta.3.1}{}}
\newlabel{genMyh2}{{3.2}{12}{}{veta.3.2}{}}
\newlabel{monwqo}{{3.4}{12}{}{veta.3.4}{}}
\newlabel{subwqo}{{3.5}{13}{}{veta.3.5}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {4}P\IeC {\v r}episovac\IeC {\'\i } syst\IeC {\'e}my}{15}{chapter.4}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{Thue}{{4.2}{15}{}{veta.4.2}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4.1}Unit\IeC {\'a}rn\IeC {\'\i } p\IeC {\v r}episovac\IeC {\'\i } syst\IeC {\'e}my}{16}{section.4.1}}
\newlabel{unitar}{{4.5}{16}{}{veta.4.5}{}}
\newlabel{unitar1}{{4.6}{16}{}{veta.4.6}{}}
\newlabel{unitar2}{{4.7}{16}{}{veta.4.7}{}}
\newlabel{unitar3}{{4.8}{17}{}{veta.4.8}{}}
\newlabel{nevyhnutelnost}{{4.9}{17}{}{veta.4.9}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4.2}Obecn\IeC {\'e} bezkontextov\IeC {\'e} p\IeC {\v r}episovac\IeC {\'\i } syst\IeC {\'e}my }{17}{section.4.2}}
\citation{2}
\@writefile{toc}{\contentsline {section}{\numberline {4.3}Permutabiln\IeC {\'\i } jazyky }{18}{section.4.3}}
\@writefile{toc}{\contentsline {section}{\numberline {4.4}Kop\IeC {\'\i }rovac\IeC {\'\i } syst\IeC {\'e}my}{19}{section.4.4}}
\@writefile{toc}{\contentsline {chapter}{\numberline {5}Monoid\IeC {\'a}ln\IeC {\'\i } reprezentace}{21}{chapter.5}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{monoid}{{5.2}{21}{}{veta.5.2}{}}
\citation{1}
\citation{2}
\citation{3}
\@writefile{toc}{\contentsline {chapter}{Z\IeC {\'a}v\IeC {\v e}r}{23}{chapter*.4}}
\bibcite{1}{1}
\bibcite{2}{2}
\bibcite{3}{3}
\bibcite{4}{4}
\bibcite{5}{5}
\@writefile{toc}{\contentsline {chapter}{Seznam pou\IeC {\v z}it\IeC {\'e} literatury}{25}{chapter*.5}}
